Aide à la recherche   Requête : utilisation d'un logiciel d'aide à la démonstration

27 fiches trouvées

Reponses 21 à 27

21	1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.
22	1992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
23	1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.
24	1992 Recherches en didactique des mathématiques. Vol. 12. N° 2-3. p. 271-318. Aide logicielle à la résolution de problèmes avec preuve : Des séquences didactiques pour l'enseignement de la démonstration.
25	1990 Ecriture automatique de démonstrations en géométrie.
26	1989 Annales de didactique et de sciences cognitives. V. 2.
27	1989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d'aide à la démonstration en géométrie.